Peleška, Jan : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (57)
Les plus populaires
Liste
- Liste
- Tableau

1

Symbolic and Abstract Interpretation for C/C++ Programs

Helge Löding, Jan Peleska

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 416 KB

english, 2008

2

Safety-complete test suites

Huang, Wen-ling, Özoguz, Sadik, Peleska, Jan

Journal:

Software Quality Journal

Année:

2019

Langue:

english

Fichier:

PDF, 1.15 MB

english, 2019

3

Using formal specifications to support software testing

Hans-Martin Hörcher, Jan Peleska

Journal:

Software Quality Journal

Année:

1995

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1995

4

A formal approach for the construction and verification of railway control systems

Anne E. Haxthausen, Jan Peleska, Sebastian Kinder

Journal:

Formal Aspects of Computing

Année:

2011

Langue:

english

Fichier:

PDF, 660 KB

english, 2011

5

Formal modelling and verification of interlocking systems featuring sequential release

Vu, Linh Hong, Haxthausen, Anne E., Peleska, Jan

Journal:

Science of Computer Programming

Année:

2016

Langue:

english

Fichier:

PDF, 1.92 MB

english, 2016

6

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 163 KB

english, 2018

7

SAE Technical Paper Series [SAE International SAE 2015 AeroTech Congress & Exhibition - (SEP. 22, 2015)] SAE Technical Paper Series - Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

Dahlweid, Markus, Brauer, Jörg, Peleska, Jan

Année:

2015

Langue:

english

Fichier:

PDF, 1023 KB

english, 2015

8

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 597 KB

english, 2018

9

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 488 KB

english, 2018

10

Living/controlled olefin polymerization initiated by nickel diimine complexes: The effect of ligand ortho substituent bulkiness

Jan Merna, Zdeněk Hošt’álek, Jan Peleška, Jan Roda

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 489 KB

english, 2009

11

Living/controlled hex-1-ene polymerization initiated by nickel diimine complexes activated by non-MAO cocatalysts: Kinetic and UV–vis study

Jan Peleška, Zdeněk Hoštálek, Darja Hasalíková, Jan Merna

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 512 KB

english, 2011

12

A characterization for isometries and conformal mappings of pseudo-Riemannian manifolds

Journal:

Aequationes Mathematicae

Année:

1984

Langue:

english

Fichier:

PDF, 586 KB

english, 1984

13

Design and verification of fault tolerant systems with CSP

Journal:

Distributed Computing

Année:

1991

Langue:

english

Fichier:

PDF, 1.31 MB

english, 1991

14

The HybridUML profile for UML 2.0

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2006

Langue:

english

Fichier:

PDF, 1.86 MB

english, 2006

15

Medical guidelines presentation and comparing with Electronic Health Record

Arnošt Veselý, Jana Zvárová, Jan Peleška, David Buchtela, Zdeněk Anger

Journal:

International Journal of Medical Informatics

Année:

2006

Langue:

english

Fichier:

PDF, 212 KB

english, 2006

16

Association of the Glu298Asp Polymorphism in the Endothelial Nitric Oxide Synthase Gene with Essential Hypertension Resistant to Conventional Therapy

Marie Jáchymová, Karel Horký, Jan Bultas, Viktor Kožich, Antonı&amp, #x0301, n Jindra, Jan Peleška, Pavel Martásek

Journal:

Biochemical and Biophysical Research Communications

Année:

2001

Langue:

english

Fichier:

PDF, 271 KB

english, 2001

17

Sodium excretion as a modulator of genetic influence on arterial stiffness and other cardiovascular phenotypes

Katarzyna Stolarz, Tatiana Kuznetsova, Wiktoria Wojciechowska, Jitka Seidlerova, Edoardo Casiglia, Jan Filipovský, Jan Peleška, Yuri Nikitin, Jan A. Staessen, Kalina Kawecka-Jaszcz

Journal:

Artery Research

Année:

2007

Langue:

english

Fichier:

PDF, 224 KB

english, 2007

18

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Model-Based Testing for the Second Generation of Integrated Modular Avionics

Efkemann, Christof, Peleska, Jan

Année:

2011

Langue:

english

Fichier:

PDF, 308 KB

english, 2011

19

Dependability in open proof software with hardware virtualization—The railway control systems perspective

Feuser, Johannes, Peleska, Jan

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 1.58 MB

english, 2014

20

Enhanced care of hypertensive patients using the Internet

Zvarova, Jana, Peleska, Jan, Hanzlicek, Petr, Zvara, Karel

Journal:

Informatics for Health and Social Care

Année:

2002

Langue:

english

Fichier:

PDF, 243 KB

english, 2002

21

[IEEE 2012 7th International Conference on System of Systems Engineering (SoSE) - Genova (2012.07.16-2012.07.19)] 2012 7th International Conference on System of Systems Engineering (SoSE) - Technical challenges of SoS requirements engineering

Hallerstede, Stefan, Hansen, Finn Overgaard, Holt, Jon, Lauritsen, Rasmus, Lorenzen, Lasse, Peleska, Jan

Année:

2012

Langue:

english

Fichier:

PDF, 315 KB

english, 2012

22

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Timed Moore Automata: Test Data Generation and Model Checking

Löding, Helge, Peleska, Jan

Année:

2010

Langue:

english

Fichier:

PDF, 288 KB

english, 2010

23

Association of −344/T/C aldosterone synthase polymorphism (CYP11B2) with left ventricular structure and humoral parameters in young normotensive men

Heller, Samuel, Linhart, Aleš, Jindra, Antonín, Jáchymová, Marie, Horký, Karel, Peleška, Jan, Hlubocká, Zuzana, Umnerová, Veˇra, Aschermann, Michael

Journal:

Année:

2004

Langue:

english

Fichier:

PDF, 101 KB

english, 2004

24

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework

Bisanz, Stefan, Hannemann, Ulrich, Peleska, Jan

Année:

2008

Langue:

english

Fichier:

PDF, 256 KB

english, 2008

25

Complete model-based equivalence class testing

Huang, Wen-ling, Peleska, Jan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2016

Langue:

english

Fichier:

PDF, 945 KB

english, 2016

26

[IEEE 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Ottawa, ON, Canada (2015.9.30-2015.10.2)] 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Checking concurrent behavior in UML/OCL models

Przigoda, Nils, Hilken, Christoph, Wille, Robert, Peleska, Jan, Drechsler, Rolf

Année:

2015

Langue:

english

Fichier:

PDF, 382 KB

english, 2015

27

Quality control of the blood pressure phenotype in the European Project on Genes in Hypertension

Kuznetsova, Tatiana, Staessen, Jan A., Kawecka-Jaszcz, Kalina, Babeanu, Speranta, Casiglia, Edoardo, Filipovsky, Jan, Nachev, Choudomir, Nikitin, Yuri, Peleskã, Jan, OʼBrien, Eoin

Journal:

Blood Pressure Monitoring

Année:

2002

Langue:

english

Fichier:

PDF, 169 KB

english, 2002

28

160 Metabolic and humoral characteristics of normotensive offspring with a family history of essential hypertension

Peleska, Jan, Hork, Karel, Bultas, J., J??chymov??, M., Jindra, A., Jarolim, M., Savlikov??, J., Stolba, P., Umnerov??, V., Vorlov??, A.

Journal:

Journal of Hypertension

Année:

1993

Fichier:

PDF, 93 KB

1993

29

Sympathetic activity, assessed by power spectral analysis of heart rate variability, in white-coat, masked and sustained hypertension versus true normotension

Fagard, Robert H, Stolarz, Katarzyna, Kuznetsova, Tatiana, Seidlerova, Jitka, Tikhonoff, Valérie, Grodzicki, Tomasz, Nikitin, Yuri, Filipovsky, Jan, Peleska, Jan, Casiglia, Edoardo, Thijs, Lutgarde, S

Journal:

Journal of Hypertension

Année:

2007

Langue:

english

Fichier:

PDF, 111 KB

english, 2007

30

SAH gene variants revisited in the European Project On Genes in Hypertension

Tikhonoff, Valérie, Staessen, Jan A, Kuznetsova, Tatiana, Thijs, Lutgarde, Hasenkamp, Sandra, Bäumer, Veronika, Stolarz, Katarzyna, Seidlerová, Jitka, Filipovský, Jan, Nikitin, Yuri, Peleška, Jan, Kaw

Journal:

Journal of Hypertension

Année:

2008

Langue:

english

Fichier:

PDF, 148 KB

english, 2008

31

Complete model-based equivalence class testing for nondeterministic systems

Huang, Wen-ling, Peleska, Jan

Journal:

Formal Aspects of Computing

Année:

2017

Langue:

english

Fichier:

PDF, 879 KB

english, 2017

32

Experimental evaluation of a novel equivalence class partition testing strategy

Hübner, Felix, Huang, Wen-ling, Peleska, Jan

Journal:

Software & Systems Modeling

Année:

2017

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2017

33

Towards Domain-Specific Formal Specification Languages for Railway Control Systems

Peleska, Jan, Baer, Alexander, Haxthausen, Anne E.

Journal:

IFAC Proceedings Volumes

Année:

2000

Langue:

english

Fichier:

PDF, 1.48 MB

english, 2000

34

Automatic Verification, Validation and Test for Railway Control Systems Based on Domain-Specific Descriptions

Haxthausen, Anne E., Peleska, Jan

Journal:

IFAC Proceedings Volumes

Année:

2003

Langue:

english

Fichier:

PDF, 727 KB

english, 2003

35

Association between tyrosine hydroxylase polymorphisms and left ventricular structure in young normotensive men

Linhart, Aleš, Jindra, Antonín, Goláň, Lubor, Jáchymová, Marie, Sedláček, Kamil, Peleška, Jan, Umnerová, Věra, Bultas, Jan, Horkў, Karel, Aschermann, Michael

Journal:

British Journal of Biomedical Science

Année:

2002

Langue:

english

Fichier:

PDF, 262 KB

english, 2002

36

[ACM Press the 3rd international workshop - Portland, Oregon (2006.11.06-2006.11.06)] Proceedings of the 3rd international workshop on Software quality assurance - SOQUA '06 - Test automation for hybrid systems

Badban, Bahareh, Fränzle, Martin, Peleska, Jan, Teige, Tino

Année:

2006

Langue:

english

Fichier:

PDF, 363 KB

english, 2006

37

Model-based testing strategies and their (in)dependence on syntactic model representations

Huang, Wen-ling, Peleska, Jan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2017

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2017

38

[IEEE 2018 IEEE European Test Symposium (ETS) - Bremen, Germany (2018.5.28-2018.6.1)] 2018 IEEE 23rd European Test Symposium (ETS) - Model-based avionic systems testing for the airbus family

Année:

2018

Langue:

english

Fichier:

PDF, 592 KB

english, 2018

39

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Multi-robot LTL Planning Under Uncertainty

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 704 KB

english, 2018

40

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Statistical Model Checking of LLVM Code

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 761 KB

english, 2018

41

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || On Software Safety, Security, and Abstract Interpretation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 140 KB

english, 2018

42

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 328 KB

english, 2018

43

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || FSM Inference from Long Traces

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 386 KB

english, 2018

44

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 1.98 MB

english, 2018

45

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Z3 and SMT in Industrial R&D

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 150 KB

english, 2018

46

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Vector Barrier Certificates and Comparison Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 514 KB

english, 2018

47

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || View Abstraction for Systems with Component Identities

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 386 KB

english, 2018

48

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Modular Verification of Programs with Effects and Effect Handlers in Coq

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 388 KB

english, 2018

49

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || 20 Years of Real Real Time Model Validation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 299 KB

english, 2018

50

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Optimal and Robust Controller Synthesis

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Année:

2018

Langue:

english

Fichier:

PDF, 1003 KB

english, 2018